#Density : 577350272764159384252190391/2000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {3, 5, 6, 7, 8, 12, 13, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
14850522125840533196503997/50000000000000000000000000 -2107046725218537411144587/500000000000000000000000000 -55058606721372544375990067/500000000000000000000000000 -34879905736325974858298323/500000000000000000000000000 -37719879679732070693821443/250000000000000000000000000 11733961152975759378172869/125000000000000000000000000
-2107046725218537411144587/500000000000000000000000000 51388362862416441312239373/500000000000000000000000000 -57609925321421722646193/1250000000000000000000000 -10426339425612989150618419/500000000000000000000000000 3709630804685204844885427/250000000000000000000000000 -21734954267641795523000509/500000000000000000000000000
-55058606721372544375990067/500000000000000000000000000 -57609925321421722646193/1250000000000000000000000 31208458575091623966300897/250000000000000000000000000 2481854959135791403164557/500000000000000000000000000 25550943564565243564836643/250000000000000000000000000 -1255444726126382065177579/31250000000000000000000000
-34879905736325974858298323/500000000000000000000000000 -10426339425612989150618419/500000000000000000000000000 2481854959135791403164557/500000000000000000000000000 39831662683978338841363359/500000000000000000000000000 -20823009634558606148262981/250000000000000000000000000 1332377183906863970348301/100000000000000000000000000
-37719879679732070693821443/250000000000000000000000000 3709630804685204844885427/250000000000000000000000000 25550943564565243564836643/250000000000000000000000000 -20823009634558606148262981/250000000000000000000000000 78161491959941140736131893/250000000000000000000000000 -14237648313918594958901419/125000000000000000000000000
11733961152975759378172869/125000000000000000000000000 -21734954267641795523000509/500000000000000000000000000 -1255444726126382065177579/31250000000000000000000000 1332377183906863970348301/100000000000000000000000000 -14237648313918594958901419/125000000000000000000000000 5120758107249530577690057/50000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
5120758107249530577690057/50000000000000000000000000 1332377183906863970348301/100000000000000000000000000 -14237648313918594958901419/125000000000000000000000000 -21734954267641795523000509/500000000000000000000000000 -1255444726126382065177579/31250000000000000000000000 11733961152975759378172869/125000000000000000000000000
1332377183906863970348301/100000000000000000000000000 39831662683978338841363359/500000000000000000000000000 -20823009634558606148262981/250000000000000000000000000 -10426339425612989150618419/500000000000000000000000000 2481854959135791403164557/500000000000000000000000000 -34879905736325974858298323/500000000000000000000000000
-14237648313918594958901419/125000000000000000000000000 -20823009634558606148262981/250000000000000000000000000 78161491959941140736131893/250000000000000000000000000 3709630804685204844885427/250000000000000000000000000 25550943564565243564836643/250000000000000000000000000 -37719879679732070693821443/250000000000000000000000000
-21734954267641795523000509/500000000000000000000000000 -10426339425612989150618419/500000000000000000000000000 3709630804685204844885427/250000000000000000000000000 51388362862416441312239373/500000000000000000000000000 -57609925321421722646193/1250000000000000000000000 -2107046725218537411144587/500000000000000000000000000
-1255444726126382065177579/31250000000000000000000000 2481854959135791403164557/500000000000000000000000000 25550943564565243564836643/250000000000000000000000000 -57609925321421722646193/1250000000000000000000000 31208458575091623966300897/250000000000000000000000000 -55058606721372544375990067/500000000000000000000000000
11733961152975759378172869/125000000000000000000000000 -34879905736325974858298323/500000000000000000000000000 -37719879679732070693821443/250000000000000000000000000 -2107046725218537411144587/500000000000000000000000000 -55058606721372544375990067/500000000000000000000000000 14850522125840533196503997/50000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
74356050303186140417810633/1000000000000000000000000000 -650669420963756555331061/1000000000000000000000000000 -4139277905697226851343933/500000000000000000000000000 -71963471619610400859274651/1000000000000000000000000000
-650669420963756555331061/1000000000000000000000000000 44473991332147732498761401/1000000000000000000000000000 -19808664364105910322933127/500000000000000000000000000 -650669420963756555331061/1000000000000000000000000000
-4139277905697226851343933/500000000000000000000000000 -19808664364105910322933127/500000000000000000000000000 25352327695821861428189849/250000000000000000000000000 -4139277905697226851343933/500000000000000000000000000
-71963471619610400859274651/1000000000000000000000000000 -650669420963756555331061/1000000000000000000000000000 -4139277905697226851343933/500000000000000000000000000 74356050303186140417810633/1000000000000000000000000000


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
21572668452633437226028897/250000000000000000000000000 -3824042396383204608392353/500000000000000000000000000 -14602295680549543730450139/500000000000000000000000000
-3824042396383204608392353/500000000000000000000000000 44202676855246612987081/40000000000000000000000000 -600247039474482572482149/1000000000000000000000000000
-14602295680549543730450139/500000000000000000000000000 -600247039474482572482149/1000000000000000000000000000 33684896157900181866591993/1000000000000000000000000000


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
66920493/1000000000


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
33684896157900181866591993/1000000000000000000000000000 -600247039474482572482149/1000000000000000000000000000 -14602295680549543730450139/500000000000000000000000000
-600247039474482572482149/1000000000000000000000000000 44202676855246612987081/40000000000000000000000000 -3824042396383204608392353/500000000000000000000000000
-14602295680549543730450139/500000000000000000000000000 -3824042396383204608392353/500000000000000000000000000 21572668452633437226028897/250000000000000000000000000


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
66920493/1000000000


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
133516426510414952451767707/125000000000000000000000000 253272546953540722851907557/500000000000000000000000000 -31927613213707328697121533/200000000000000000000000000 -1297116340951581864577837/20000000000000000000000000 -82834483867826720235907933/250000000000000000000000000 -8738577541989877958392287/62500000000000000000000000 30120544883364385040927719/1000000000000000000000000000 -45575996435632579932875687/500000000000000000000000000 -195264265389238710387032691/500000000000000000000000000 1280886020739328135285681921/1000000000000000000000000000 -1327355562328745571792684443/1000000000000000000000000000 -54538074405935628936906439/500000000000000000000000000
253272546953540722851907557/500000000000000000000000000 269324537487379391632596623/62500000000000000000000000 558016259733496570497423147/1000000000000000000000000000 869454410100042358323534097/1000000000000000000000000000 -1390681596081694035926683597/1000000000000000000000000000 -243556072375890815607402447/1000000000000000000000000000 23314653596341679022081827/125000000000000000000000000 -212984120712848382327775909/1000000000000000000000000000 77186086437064499944106787/500000000000000000000000000 -4185717973991876219596257347/1000000000000000000000000000 -826765319019441009938321281/500000000000000000000000000 -21170474025125038473936631/200000000000000000000000000
-31927613213707328697121533/200000000000000000000000000 558016259733496570497423147/1000000000000000000000000000 63244643839824514814603977/62500000000000000000000000 22701542595489077505474417/1000000000000000000000000000 -49480113396947969476201657/200000000000000000000000000 104090542267839687134549741/1000000000000000000000000000 -15004527645565855186210603/250000000000000000000000000 -29387220438194597278968593/200000000000000000000000000 -53573944142719514191161789/1000000000000000000000000000 -1105804580398562857896946367/500000000000000000000000000 160110664185418855864599383/500000000000000000000000000 5680894972198156348436751/250000000000000000000000000
-1297116340951581864577837/20000000000000000000000000 869454410100042358323534097/1000000000000000000000000000 22701542595489077505474417/1000000000000000000000000000 970191132166158906132307683/1000000000000000000000000000 -323000940754650387410529041/1000000000000000000000000000 -1946554981098436615416197/15625000000000000000000000 -145295680951864192900684283/1000000000000000000000000000 -192290824424576025778539541/1000000000000000000000000000 -61822420918917591124504943/1000000000000000000000000000 -1397408717412589504570205917/1000000000000000000000000000 34225271223363483473128523/250000000000000000000000000 -13686219423925508402816517/1000000000000000000000000000
-82834483867826720235907933/250000000000000000000000000 -1390681596081694035926683597/1000000000000000000000000000 -49480113396947969476201657/200000000000000000000000000 -323000940754650387410529041/1000000000000000000000000000 262653825047223282056999339/250000000000000000000000000 -41820161903433955180240837/500000000000000000000000000 -102875336938057900070305601/500000000000000000000000000 -46352772007735583885250101/1000000000000000000000000000 -16137938797212225940374641/1000000000000000000000000000 345078631469605514929681139/250000000000000000000000000 112266203847456224863893499/200000000000000000000000000 -19538359195242377962468517/250000000000000000000000000
-8738577541989877958392287/62500000000000000000000000 -243556072375890815607402447/1000000000000000000000000000 104090542267839687134549741/1000000000000000000000000000 -1946554981098436615416197/15625000000000000000000000 -41820161903433955180240837/500000000000000000000000000 392244388836236637590274451/200000000000000000000000000 -123225122107673541420706491/500000000000000000000000000 -203149097686044963212728751/500000000000000000000000000 -125813621169366724076912917/1000000000000000000000000000 -10495891123127840446824633/200000000000000000000000000 205774138182913851705104363/1000000000000000000000000000 -7004786736934836068992313/62500000000000000000000000
30120544883364385040927719/1000000000000000000000000000 23314653596341679022081827/125000000000000000000000000 -15004527645565855186210603/250000000000000000000000000 -145295680951864192900684283/1000000000000000000000000000 -102875336938057900070305601/500000000000000000000000000 -123225122107673541420706491/500000000000000000000000000 456493277940630935789001923/250000000000000000000000000 -64458828173738536688609279/1000000000000000000000000000 -109893054427348349334087691/500000000000000000000000000 580589556318312085457668591/1000000000000000000000000000 -113520394858240557434610651/200000000000000000000000000 -351091919766222211081287567/1000000000000000000000000000
-45575996435632579932875687/500000000000000000000000000 -212984120712848382327775909/1000000000000000000000000000 -29387220438194597278968593/200000000000000000000000000 -192290824424576025778539541/1000000000000000000000000000 -46352772007735583885250101/1000000000000000000000000000 -203149097686044963212728751/500000000000000000000000000 -64458828173738536688609279/1000000000000000000000000000 439871310654682537617825111/200000000000000000000000000 1067166863222015850618747/200000000000000000000000000 527159235459326780548420917/1000000000000000000000000000 -32679265479858748758034631/500000000000000000000000000 -707472785484187130365296211/1000000000000000000000000000
-195264265389238710387032691/500000000000000000000000000 77186086437064499944106787/500000000000000000000000000 -53573944142719514191161789/1000000000000000000000000000 -61822420918917591124504943/1000000000000000000000000000 -16137938797212225940374641/1000000000000000000000000000 -125813621169366724076912917/1000000000000000000000000000 -109893054427348349334087691/500000000000000000000000000 1067166863222015850618747/200000000000000000000000000 122911344670381270999947219/125000000000000000000000000 -1292395054486464461080111631/1000000000000000000000000000 415472758107917049800269511/500000000000000000000000000 -114589189261568508930455727/1000000000000000000000000000
1280886020739328135285681921/1000000000000000000000000000 -4185717973991876219596257347/1000000000000000000000000000 -1105804580398562857896946367/500000000000000000000000000 -1397408717412589504570205917/1000000000000000000000000000 345078631469605514929681139/250000000000000000000000000 -10495891123127840446824633/200000000000000000000000000 580589556318312085457668591/1000000000000000000000000000 527159235459326780548420917/1000000000000000000000000000 -1292395054486464461080111631/1000000000000000000000000000 11977915372479922506660292679/1000000000000000000000000000 -2963714356075080445725753489/1000000000000000000000000000 7004914776079430489073033/1000000000000000000000000000
-1327355562328745571792684443/1000000000000000000000000000 -826765319019441009938321281/500000000000000000000000000 160110664185418855864599383/500000000000000000000000000 34225271223363483473128523/250000000000000000000000000 112266203847456224863893499/200000000000000000000000000 205774138182913851705104363/1000000000000000000000000000 -113520394858240557434610651/200000000000000000000000000 -32679265479858748758034631/500000000000000000000000000 415472758107917049800269511/500000000000000000000000000 -2963714356075080445725753489/1000000000000000000000000000 1794350919689082459322547247/500000000000000000000000000 21022400381347452011401209/250000000000000000000000000
-54538074405935628936906439/500000000000000000000000000 -21170474025125038473936631/200000000000000000000000000 5680894972198156348436751/250000000000000000000000000 -13686219423925508402816517/1000000000000000000000000000 -19538359195242377962468517/250000000000000000000000000 -7004786736934836068992313/62500000000000000000000000 -351091919766222211081287567/1000000000000000000000000000 -707472785484187130365296211/1000000000000000000000000000 -114589189261568508930455727/1000000000000000000000000000 7004914776079430489073033/1000000000000000000000000000 21022400381347452011401209/250000000000000000000000000 1003513393556178980516771851/500000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
1617631201601326769398998543/1000000000000000000000000000 461348102969559370028023989/1000000000000000000000000000 31888366874594931260519859/50000000000000000000000000 1261587162206202821792568987/1000000000000000000000000000
461348102969559370028023989/1000000000000000000000000000 1971251816581582864097627489/1000000000000000000000000000 4130874670197457467502081/20000000000000000000000000 747910263530940430532590541/1000000000000000000000000000
31888366874594931260519859/50000000000000000000000000 4130874670197457467502081/20000000000000000000000000 406722614592171335333813767/200000000000000000000000000 38211258603899750824678081/50000000000000000000000000
1261587162206202821792568987/1000000000000000000000000000 747910263530940430532590541/1000000000000000000000000000 38211258603899750824678081/50000000000000000000000000 2765966656254074425472868137/1000000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
946208597968076082087732787/500000000000000000000000000 14074122432268267223147273/100000000000000000000000000 -70772714033797366497202997/250000000000000000000000000 6183415555432995191804821/100000000000000000000000000 13495198655555092869497843/125000000000000000000000000 -5132745733913217356583009/125000000000000000000000000 -24893004331328158182325123/500000000000000000000000000 -65343176979234394146081123/125000000000000000000000000 -143933897528383317470337983/500000000000000000000000000 -296892273567430710111161013/500000000000000000000000000
14074122432268267223147273/100000000000000000000000000 559116154753103989367889261/500000000000000000000000000 16655239930856691169768269/250000000000000000000000000 -106788491631403863984186063/500000000000000000000000000 12457507923495990074998313/250000000000000000000000000 -11056054080028380648819057/50000000000000000000000000 -10274777071696220261450701/500000000000000000000000000 -54819672519913265960676919/125000000000000000000000000 -179616175803271361193175559/500000000000000000000000000 -24893004331328158182325123/500000000000000000000000000
-70772714033797366497202997/250000000000000000000000000 16655239930856691169768269/250000000000000000000000000 627846571776522531017924419/250000000000000000000000000 -3069272954234236855260001/7812500000000000000000000 -8775265313277757409626427/31250000000000000000000000 -241350005285632396981953/1000000000000000000000000 16655239930856691169768269/250000000000000000000000000 -51925398286410471645959567/125000000000000000000000000 -3069272954234236855260001/7812500000000000000000000 -70772714033797366497202997/250000000000000000000000000
6183415555432995191804821/100000000000000000000000000 -106788491631403863984186063/500000000000000000000000000 -3069272954234236855260001/7812500000000000000000000 264025508132052475814357473/250000000000000000000000000 10475497513403722918911433/250000000000000000000000000 145213241195894676405059/500000000000000000000000000 -179616175803271361193175559/500000000000000000000000000 20026556166103743180195739/250000000000000000000000000 -3793713578988486112740743/50000000000000000000000000 -143933897528383317470337983/500000000000000000000000000
13495198655555092869497843/125000000000000000000000000 12457507923495990074998313/250000000000000000000000000 -8775265313277757409626427/31250000000000000000000000 10475497513403722918911433/250000000000000000000000000 20089274856129726130798859/250000000000000000000000000 1508270677731582726612617/50000000000000000000000000 12457507923495990074998313/250000000000000000000000000 -39873133393958387970252541/125000000000000000000000000 10475497513403722918911433/250000000000000000000000000 13495198655555092869497843/125000000000000000000000000
-5132745733913217356583009/125000000000000000000000000 -11056054080028380648819057/50000000000000000000000000 -241350005285632396981953/1000000000000000000000000 145213241195894676405059/500000000000000000000000000 1508270677731582726612617/50000000000000000000000000 353230349505752203861096917/500000000000000000000000000 -11056054080028380648819057/50000000000000000000000000 4048073114889179703266273/250000000000000000000000000 145213241195894676405059/500000000000000000000000000 -5132745733913217356583009/125000000000000000000000000
-24893004331328158182325123/500000000000000000000000000 -10274777071696220261450701/500000000000000000000000000 16655239930856691169768269/250000000000000000000000000 -179616175803271361193175559/500000000000000000000000000 12457507923495990074998313/250000000000000000000000000 -11056054080028380648819057/50000000000000000000000000 559116154753103989367889261/500000000000000000000000000 -54819672519913265960676919/125000000000000000000000000 -106788491631403863984186063/500000000000000000000000000 14074122432268267223147273/100000000000000000000000000
-65343176979234394146081123/125000000000000000000000000 -54819672519913265960676919/125000000000000000000000000 -51925398286410471645959567/125000000000000000000000000 20026556166103743180195739/250000000000000000000000000 -39873133393958387970252541/125000000000000000000000000 4048073114889179703266273/250000000000000000000000000 -54819672519913265960676919/125000000000000000000000000 174771259756084463809560741/62500000000000000000000000 20026556166103743180195739/250000000000000000000000000 -65343176979234394146081123/125000000000000000000000000
-143933897528383317470337983/500000000000000000000000000 -179616175803271361193175559/500000000000000000000000000 -3069272954234236855260001/7812500000000000000000000 -3793713578988486112740743/50000000000000000000000000 10475497513403722918911433/250000000000000000000000000 145213241195894676405059/500000000000000000000000000 -106788491631403863984186063/500000000000000000000000000 20026556166103743180195739/250000000000000000000000000 264025508132052475814357473/250000000000000000000000000 6183415555432995191804821/100000000000000000000000000
-296892273567430710111161013/500000000000000000000000000 -24893004331328158182325123/500000000000000000000000000 -70772714033797366497202997/250000000000000000000000000 -143933897528383317470337983/500000000000000000000000000 13495198655555092869497843/125000000000000000000000000 -5132745733913217356583009/125000000000000000000000000 14074122432268267223147273/100000000000000000000000000 -65343176979234394146081123/125000000000000000000000000 6183415555432995191804821/100000000000000000000000000 946208597968076082087732787/500000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
94805741360658945963051413/62500000000000000000000000 78539226809547878988059209/1000000000000000000000000000 1072239406498253771495999781/1000000000000000000000000000 -159430572634289694366534353/1000000000000000000000000000 -23477642309405048076857259/500000000000000000000000000 189656137692047030950093767/1000000000000000000000000000
78539226809547878988059209/1000000000000000000000000000 1432332556236492462156105023/1000000000000000000000000000 44207456694600186282986997/50000000000000000000000000 91995533230977206248078379/1000000000000000000000000000 189656137692047030950093767/1000000000000000000000000000 -11508511117381594222235323/1000000000000000000000000000
1072239406498253771495999781/1000000000000000000000000000 44207456694600186282986997/50000000000000000000000000 2983130250043200251406029157/200000000000000000000000000 0/1 1072239406498253771495999781/1000000000000000000000000000 44207456694600186282986997/50000000000000000000000000
-159430572634289694366534353/1000000000000000000000000000 91995533230977206248078379/1000000000000000000000000000 0/1 1544803913028125565835959117/1000000000000000000000000000 159430572634289694366534353/1000000000000000000000000000 -91995533230977206248078379/1000000000000000000000000000
-23477642309405048076857259/500000000000000000000000000 189656137692047030950093767/1000000000000000000000000000 1072239406498253771495999781/1000000000000000000000000000 159430572634289694366534353/1000000000000000000000000000 94805741360658945963051413/62500000000000000000000000 78539226809547878988059209/1000000000000000000000000000
189656137692047030950093767/1000000000000000000000000000 -11508511117381594222235323/1000000000000000000000000000 44207456694600186282986997/50000000000000000000000000 -91995533230977206248078379/1000000000000000000000000000 78539226809547878988059209/1000000000000000000000000000 1432332556236492462156105023/1000000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
1087695843121151878492416249/1000000000000000000000000000 6860416999675506974300121/200000000000000000000000000 2246637711205897029911889/200000000000000000000000000 3846271923606185487604967/1000000000000000000000000000 -184498031712438569430449069/1000000000000000000000000000 22595720662357269416085119/1000000000000000000000000000 -19939265852588154106415743/500000000000000000000000000 4899024340710454278153849/1000000000000000000000000000 -1027574324191631554662631681/1000000000000000000000000000
6860416999675506974300121/200000000000000000000000000 96814696265626350258911601/500000000000000000000000000 -8433034827479802959429239/1000000000000000000000000000 -14913576197697798377514033/500000000000000000000000000 -6212195977947697099222561/62500000000000000000000000 -111830854915343063922090067/1000000000000000000000000000 -46905396273867722474778533/1000000000000000000000000000 -2280341298350668784223193/500000000000000000000000000 4899024340710454278153849/1000000000000000000000000000
2246637711205897029911889/200000000000000000000000000 -8433034827479802959429239/1000000000000000000000000000 139630887801195978164735293/250000000000000000000000000 -44283701917814352159329659/1000000000000000000000000000 -19333046785942963982816333/250000000000000000000000000 6874956327196168932422477/500000000000000000000000000 -24459510949677216552298809/500000000000000000000000000 -111830854915343063922090067/1000000000000000000000000000 22595720662357269416085119/1000000000000000000000000000
3846271923606185487604967/1000000000000000000000000000 -14913576197697798377514033/500000000000000000000000000 -44283701917814352159329659/1000000000000000000000000000 41211426109978365960957043/250000000000000000000000000 -598067264991798986576021/50000000000000000000000000 -44283701917814352159329659/1000000000000000000000000000 -16747619301369501548178553/1000000000000000000000000000 -14913576197697798377514033/500000000000000000000000000 3846271923606185487604967/1000000000000000000000000000
-184498031712438569430449069/1000000000000000000000000000 -6212195977947697099222561/62500000000000000000000000 -19333046785942963982816333/250000000000000000000000000 -598067264991798986576021/50000000000000000000000000 1362663245152886587593271633/1000000000000000000000000000 -19333046785942963982816333/250000000000000000000000000 14448809926084452771784281/1000000000000000000000000000 -6212195977947697099222561/62500000000000000000000000 -184498031712438569430449069/1000000000000000000000000000
22595720662357269416085119/1000000000000000000000000000 -111830854915343063922090067/1000000000000000000000000000 6874956327196168932422477/500000000000000000000000000 -44283701917814352159329659/1000000000000000000000000000 -19333046785942963982816333/250000000000000000000000000 139630887801195978164735293/250000000000000000000000000 -24459510949677216552298809/500000000000000000000000000 -8433034827479802959429239/1000000000000000000000000000 2246637711205897029911889/200000000000000000000000000
-19939265852588154106415743/500000000000000000000000000 -46905396273867722474778533/1000000000000000000000000000 -24459510949677216552298809/500000000000000000000000000 -16747619301369501548178553/1000000000000000000000000000 14448809926084452771784281/1000000000000000000000000000 -24459510949677216552298809/500000000000000000000000000 70802151369367574066642611/250000000000000000000000000 -46905396273867722474778533/1000000000000000000000000000 -19939265852588154106415743/500000000000000000000000000
4899024340710454278153849/1000000000000000000000000000 -2280341298350668784223193/500000000000000000000000000 -111830854915343063922090067/1000000000000000000000000000 -14913576197697798377514033/500000000000000000000000000 -6212195977947697099222561/62500000000000000000000000 -8433034827479802959429239/1000000000000000000000000000 -46905396273867722474778533/1000000000000000000000000000 96814696265626350258911601/500000000000000000000000000 6860416999675506974300121/200000000000000000000000000
-1027574324191631554662631681/1000000000000000000000000000 4899024340710454278153849/1000000000000000000000000000 22595720662357269416085119/1000000000000000000000000000 3846271923606185487604967/1000000000000000000000000000 -184498031712438569430449069/1000000000000000000000000000 2246637711205897029911889/200000000000000000000000000 -19939265852588154106415743/500000000000000000000000000 6860416999675506974300121/200000000000000000000000000 1087695843121151878492416249/1000000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
649614954093602670151259823/1000000000000000000000000000 -177289958604156201/1000000000000000000000000000 -159275229087642592147789643/1000000000000000000000000000 159275229028157266741239853/1000000000000000000000000000 622168866564339310891587/3906250000000000000000000 -70967236028133737375931429/1000000000000000000000000000 -63341384062636763/1000000000000000000000000000
-177289958604156201/1000000000000000000000000000 1267782687975997802051778803/1000000000000000000000000000 -12848070585464389775220149/250000000000000000000000000 12848070922195086689960697/250000000000000000000000000 -51392283533248061486457081/1000000000000000000000000000 154581059837373319/200000000000000000000000000 -70967236028133737375931429/1000000000000000000000000000
-159275229087642592147789643/1000000000000000000000000000 -12848070585464389775220149/250000000000000000000000000 1831920679301791464298085459/1000000000000000000000000000 -121239517742236179437723889/200000000000000000000000000 -612861552394101807264738081/1000000000000000000000000000 12848070922195086689960697/250000000000000000000000000 159275229028157266741239853/1000000000000000000000000000
159275229028157266741239853/1000000000000000000000000000 12848070922195086689960697/250000000000000000000000000 -121239517742236179437723889/200000000000000000000000000 1831920679301791464298085459/1000000000000000000000000000 -612861552394101807264738081/1000000000000000000000000000 -12848070585464389775220149/250000000000000000000000000 -159275229087642592147789643/1000000000000000000000000000
622168866564339310891587/3906250000000000000000000 -51392283533248061486457081/1000000000000000000000000000 -612861552394101807264738081/1000000000000000000000000000 -612861552394101807264738081/1000000000000000000000000000 183192069476661461356135977/100000000000000000000000000 -51392283533248061486457081/1000000000000000000000000000 622168866564339310891587/3906250000000000000000000
-70967236028133737375931429/1000000000000000000000000000 154581059837373319/200000000000000000000000000 12848070922195086689960697/250000000000000000000000000 -12848070585464389775220149/250000000000000000000000000 -51392283533248061486457081/1000000000000000000000000000 1267782687975997802051778803/1000000000000000000000000000 -177289958604156201/1000000000000000000000000000
-63341384062636763/1000000000000000000000000000 -70967236028133737375931429/1000000000000000000000000000 159275229028157266741239853/1000000000000000000000000000 -159275229087642592147789643/1000000000000000000000000000 622168866564339310891587/3906250000000000000000000 -177289958604156201/1000000000000000000000000000 649614954093602670151259823/1000000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
1003513393556178980516771851/500000000000000000000000000 -7004786736934836068992313/62500000000000000000000000 7004914776079430489073033/1000000000000000000000000000 -13686219423925508402816517/1000000000000000000000000000 -707472785484187130365296211/1000000000000000000000000000 -21170474025125038473936631/200000000000000000000000000 21022400381347452011401209/250000000000000000000000000 -19538359195242377962468517/250000000000000000000000000 -114589189261568508930455727/1000000000000000000000000000 5680894972198156348436751/250000000000000000000000000 -351091919766222211081287567/1000000000000000000000000000 -54538074405935628936906439/500000000000000000000000000
-7004786736934836068992313/62500000000000000000000000 392244388836236637590274451/200000000000000000000000000 -10495891123127840446824633/200000000000000000000000000 -1946554981098436615416197/15625000000000000000000000 -203149097686044963212728751/500000000000000000000000000 -243556072375890815607402447/1000000000000000000000000000 205774138182913851705104363/1000000000000000000000000000 -41820161903433955180240837/500000000000000000000000000 -125813621169366724076912917/1000000000000000000000000000 104090542267839687134549741/1000000000000000000000000000 -123225122107673541420706491/500000000000000000000000000 -8738577541989877958392287/62500000000000000000000000
7004914776079430489073033/1000000000000000000000000000 -10495891123127840446824633/200000000000000000000000000 11977915372479922506660292679/1000000000000000000000000000 -1397408717412589504570205917/1000000000000000000000000000 527159235459326780548420917/1000000000000000000000000000 -4185717973991876219596257347/1000000000000000000000000000 -2963714356075080445725753489/1000000000000000000000000000 345078631469605514929681139/250000000000000000000000000 -1292395054486464461080111631/1000000000000000000000000000 -1105804580398562857896946367/500000000000000000000000000 580589556318312085457668591/1000000000000000000000000000 1280886020739328135285681921/1000000000000000000000000000
-13686219423925508402816517/1000000000000000000000000000 -1946554981098436615416197/15625000000000000000000000 -1397408717412589504570205917/1000000000000000000000000000 970191132166158906132307683/1000000000000000000000000000 -192290824424576025778539541/1000000000000000000000000000 869454410100042358323534097/1000000000000000000000000000 34225271223363483473128523/250000000000000000000000000 -323000940754650387410529041/1000000000000000000000000000 -61822420918917591124504943/1000000000000000000000000000 22701542595489077505474417/1000000000000000000000000000 -145295680951864192900684283/1000000000000000000000000000 -1297116340951581864577837/20000000000000000000000000
-707472785484187130365296211/1000000000000000000000000000 -203149097686044963212728751/500000000000000000000000000 527159235459326780548420917/1000000000000000000000000000 -192290824424576025778539541/1000000000000000000000000000 439871310654682537617825111/200000000000000000000000000 -212984120712848382327775909/1000000000000000000000000000 -32679265479858748758034631/500000000000000000000000000 -46352772007735583885250101/1000000000000000000000000000 1067166863222015850618747/200000000000000000000000000 -29387220438194597278968593/200000000000000000000000000 -64458828173738536688609279/1000000000000000000000000000 -45575996435632579932875687/500000000000000000000000000
-21170474025125038473936631/200000000000000000000000000 -243556072375890815607402447/1000000000000000000000000000 -4185717973991876219596257347/1000000000000000000000000000 869454410100042358323534097/1000000000000000000000000000 -212984120712848382327775909/1000000000000000000000000000 269324537487379391632596623/62500000000000000000000000 -826765319019441009938321281/500000000000000000000000000 -1390681596081694035926683597/1000000000000000000000000000 77186086437064499944106787/500000000000000000000000000 558016259733496570497423147/1000000000000000000000000000 23314653596341679022081827/125000000000000000000000000 253272546953540722851907557/500000000000000000000000000
21022400381347452011401209/250000000000000000000000000 205774138182913851705104363/1000000000000000000000000000 -2963714356075080445725753489/1000000000000000000000000000 34225271223363483473128523/250000000000000000000000000 -32679265479858748758034631/500000000000000000000000000 -826765319019441009938321281/500000000000000000000000000 1794350919689082459322547247/500000000000000000000000000 112266203847456224863893499/200000000000000000000000000 415472758107917049800269511/500000000000000000000000000 160110664185418855864599383/500000000000000000000000000 -113520394858240557434610651/200000000000000000000000000 -1327355562328745571792684443/1000000000000000000000000000
-19538359195242377962468517/250000000000000000000000000 -41820161903433955180240837/500000000000000000000000000 345078631469605514929681139/250000000000000000000000000 -323000940754650387410529041/1000000000000000000000000000 -46352772007735583885250101/1000000000000000000000000000 -1390681596081694035926683597/1000000000000000000000000000 112266203847456224863893499/200000000000000000000000000 262653825047223282056999339/250000000000000000000000000 -16137938797212225940374641/1000000000000000000000000000 -49480113396947969476201657/200000000000000000000000000 -102875336938057900070305601/500000000000000000000000000 -82834483867826720235907933/250000000000000000000000000
-114589189261568508930455727/1000000000000000000000000000 -125813621169366724076912917/1000000000000000000000000000 -1292395054486464461080111631/1000000000000000000000000000 -61822420918917591124504943/1000000000000000000000000000 1067166863222015850618747/200000000000000000000000000 77186086437064499944106787/500000000000000000000000000 415472758107917049800269511/500000000000000000000000000 -16137938797212225940374641/1000000000000000000000000000 122911344670381270999947219/125000000000000000000000000 -53573944142719514191161789/1000000000000000000000000000 -109893054427348349334087691/500000000000000000000000000 -195264265389238710387032691/500000000000000000000000000
5680894972198156348436751/250000000000000000000000000 104090542267839687134549741/1000000000000000000000000000 -1105804580398562857896946367/500000000000000000000000000 22701542595489077505474417/1000000000000000000000000000 -29387220438194597278968593/200000000000000000000000000 558016259733496570497423147/1000000000000000000000000000 160110664185418855864599383/500000000000000000000000000 -49480113396947969476201657/200000000000000000000000000 -53573944142719514191161789/1000000000000000000000000000 63244643839824514814603977/62500000000000000000000000 -15004527645565855186210603/250000000000000000000000000 -31927613213707328697121533/200000000000000000000000000
-351091919766222211081287567/1000000000000000000000000000 -123225122107673541420706491/500000000000000000000000000 580589556318312085457668591/1000000000000000000000000000 -145295680951864192900684283/1000000000000000000000000000 -64458828173738536688609279/1000000000000000000000000000 23314653596341679022081827/125000000000000000000000000 -113520394858240557434610651/200000000000000000000000000 -102875336938057900070305601/500000000000000000000000000 -109893054427348349334087691/500000000000000000000000000 -15004527645565855186210603/250000000000000000000000000 456493277940630935789001923/250000000000000000000000000 30120544883364385040927719/1000000000000000000000000000
-54538074405935628936906439/500000000000000000000000000 -8738577541989877958392287/62500000000000000000000000 1280886020739328135285681921/1000000000000000000000000000 -1297116340951581864577837/20000000000000000000000000 -45575996435632579932875687/500000000000000000000000000 253272546953540722851907557/500000000000000000000000000 -1327355562328745571792684443/1000000000000000000000000000 -82834483867826720235907933/250000000000000000000000000 -195264265389238710387032691/500000000000000000000000000 -31927613213707328697121533/200000000000000000000000000 30120544883364385040927719/1000000000000000000000000000 133516426510414952451767707/125000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
2765966656254074425472868137/1000000000000000000000000000 747910263530940430532590541/1000000000000000000000000000 38211258603899750824678081/50000000000000000000000000 1261587162206202821792568987/1000000000000000000000000000
747910263530940430532590541/1000000000000000000000000000 1971251816581582864097627489/1000000000000000000000000000 4130874670197457467502081/20000000000000000000000000 461348102969559370028023989/1000000000000000000000000000
38211258603899750824678081/50000000000000000000000000 4130874670197457467502081/20000000000000000000000000 406722614592171335333813767/200000000000000000000000000 31888366874594931260519859/50000000000000000000000000
1261587162206202821792568987/1000000000000000000000000000 461348102969559370028023989/1000000000000000000000000000 31888366874594931260519859/50000000000000000000000000 1617631201601326769398998543/1000000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
219279021198979004008880179/200000000000000000000000000 -6040706079934134339062559/125000000000000000000000000 -2352958763587075594596661/62500000000000000000000000 -140487096306131401076295597/1000000000000000000000000000 -30076242950152383003990309/1000000000000000000000000000 -5973142305603170963609293/125000000000000000000000000
-6040706079934134339062559/125000000000000000000000000 22774867115714595360817271/100000000000000000000000000 -6768551045174543393063169/250000000000000000000000000 1312062891666776946452697/125000000000000000000000000 -24296049421852501359001619/500000000000000000000000000 -15010659126025712259594751/500000000000000000000000000
-2352958763587075594596661/62500000000000000000000000 -6768551045174543393063169/250000000000000000000000000 62934971312347323500219073/500000000000000000000000000 3814357940436512804202949/500000000000000000000000000 -1047888770474674827108847/50000000000000000000000000 -77176681668621832407521/4000000000000000000000000
-140487096306131401076295597/1000000000000000000000000000 1312062891666776946452697/125000000000000000000000000 3814357940436512804202949/500000000000000000000000000 10351298300958746775342281/500000000000000000000000000 6889442074368367311997961/1000000000000000000000000000 -1403918919390883411645269/100000000000000000000000000
-30076242950152383003990309/1000000000000000000000000000 -24296049421852501359001619/500000000000000000000000000 -1047888770474674827108847/50000000000000000000000000 6889442074368367311997961/1000000000000000000000000000 70894744567144277621415249/1000000000000000000000000000 -10673626392922622786947717/500000000000000000000000000
-5973142305603170963609293/125000000000000000000000000 -15010659126025712259594751/500000000000000000000000000 -77176681668621832407521/4000000000000000000000000 -1403918919390883411645269/100000000000000000000000000 -10673626392922622786947717/500000000000000000000000000 4767971056101872073335381/31250000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
1200428219540298296379211013/1000000000000000000000000000 -41515459174157682540245119/62500000000000000000000000 -268090438304541222414811167/1000000000000000000000000000 -5249177224239628472548273/1000000000000000000000000000 5249178001487541150532297/1000000000000000000000000000 -5249176497457839871981009/1000000000000000000000000000 -5842289590333416069131193/1000000000000000000000000000 -13430575789346289837276689/200000000000000000000000000 -18332779048519748969678731/500000000000000000000000000 10381843564241995018976011/200000000000000000000000000
-41515459174157682540245119/62500000000000000000000000 1200428218833427182935583421/1000000000000000000000000000 -5361808727933460453007571/20000000000000000000000000 5249177340114861561626429/1000000000000000000000000000 -5249178632934701380701793/1000000000000000000000000000 262458834575614790640567/50000000000000000000000000 -365143131467752076378589/62500000000000000000000000 -36665557753281033602595503/1000000000000000000000000000 -8394109861741461353840153/125000000000000000000000000 2076368742963914923599037/40000000000000000000000000
-268090438304541222414811167/1000000000000000000000000000 -5361808727933460453007571/20000000000000000000000000 300107055074913716662653713/250000000000000000000000000 -2624588304061416670435727/500000000000000000000000000 1312294047548941235694213/250000000000000000000000000 5249176977263916230462871/1000000000000000000000000000 1168458105056010559630777/200000000000000000000000000 51909218234172817459347211/1000000000000000000000000000 25954609262535458543525153/500000000000000000000000000 -67152879407364357019637817/1000000000000000000000000000
-5249177224239628472548273/1000000000000000000000000000 5249177340114861561626429/1000000000000000000000000000 -2624588304061416670435727/500000000000000000000000000 553546720312932317931685861/500000000000000000000000000 -121424163565089062954725451/250000000000000000000000000 -310698395407400221156330377/1000000000000000000000000000 -180123874309833659/1000000000000000000000000000 -8777637983841704734499087/200000000000000000000000000 21944094842774035993549137/500000000000000000000000000 -4388819022907812324248481/100000000000000000000000000
5249178001487541150532297/1000000000000000000000000000 -5249178632934701380701793/1000000000000000000000000000 1312294047548941235694213/250000000000000000000000000 -121424163565089062954725451/250000000000000000000000000 1107093441134178121609426347/1000000000000000000000000000 -62139678819614721264090709/200000000000000000000000000 98277056857103249/500000000000000000000000000 43888190405692264778515627/1000000000000000000000000000 -10972047479026061278244309/250000000000000000000000000 43888190301878469798025317/1000000000000000000000000000
-5249176497457839871981009/1000000000000000000000000000 262458834575614790640567/50000000000000000000000000 5249176977263916230462871/1000000000000000000000000000 -310698395407400221156330377/1000000000000000000000000000 -62139678819614721264090709/200000000000000000000000000 276773360060695889112658759/250000000000000000000000000 -162292607165128219/1000000000000000000000000000 -21944095173802558093444611/500000000000000000000000000 21944095326440237238847073/500000000000000000000000000 43888189398090574336618323/1000000000000000000000000000
-5842289590333416069131193/1000000000000000000000000000 -365143131467752076378589/62500000000000000000000000 1168458105056010559630777/200000000000000000000000000 -180123874309833659/1000000000000000000000000000 98277056857103249/500000000000000000000000000 -162292607165128219/1000000000000000000000000000 103428928972026255167205567/125000000000000000000000000 46907389946240737390044957/1000000000000000000000000000 23453694226539875064092233/500000000000000000000000000 -23453694449131252214649823/500000000000000000000000000
-13430575789346289837276689/200000000000000000000000000 -36665557753281033602595503/1000000000000000000000000000 51909218234172817459347211/1000000000000000000000000000 -8777637983841704734499087/200000000000000000000000000 43888190405692264778515627/1000000000000000000000000000 -21944095173802558093444611/500000000000000000000000000 46907389946240737390044957/1000000000000000000000000000 51298635887064695945534573/100000000000000000000000000 -156383732897571194049940893/500000000000000000000000000 -12513680803232345895634963/125000000000000000000000000
-18332779048519748969678731/500000000000000000000000000 -8394109861741461353840153/125000000000000000000000000 25954609262535458543525153/500000000000000000000000000 21944094842774035993549137/500000000000000000000000000 -10972047479026061278244309/250000000000000000000000000 21944095326440237238847073/500000000000000000000000000 23453694226539875064092233/500000000000000000000000000 -156383732897571194049940893/500000000000000000000000000 256493179492600380653145599/500000000000000000000000000 -25027361666180745402609459/250000000000000000000000000
10381843564241995018976011/200000000000000000000000000 2076368742963914923599037/40000000000000000000000000 -67152879407364357019637817/1000000000000000000000000000 -4388819022907812324248481/100000000000000000000000000 43888190301878469798025317/1000000000000000000000000000 43888189398090574336618323/1000000000000000000000000000 -23453694449131252214649823/500000000000000000000000000 -12513680803232345895634963/125000000000000000000000000 -25027361666180745402609459/250000000000000000000000000 512986359252773214018805539/1000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
4767971056101872073335381/31250000000000000000000000 -10673626392922622786947717/500000000000000000000000000 -77176681668621832407521/4000000000000000000000000 -1403918919390883411645269/100000000000000000000000000 -15010659126025712259594751/500000000000000000000000000 -5973142305603170963609293/125000000000000000000000000
-10673626392922622786947717/500000000000000000000000000 70894744567144277621415249/1000000000000000000000000000 -1047888770474674827108847/50000000000000000000000000 6889442074368367311997961/1000000000000000000000000000 -24296049421852501359001619/500000000000000000000000000 -30076242950152383003990309/1000000000000000000000000000
-77176681668621832407521/4000000000000000000000000 -1047888770474674827108847/50000000000000000000000000 62934971312347323500219073/500000000000000000000000000 3814357940436512804202949/500000000000000000000000000 -6768551045174543393063169/250000000000000000000000000 -2352958763587075594596661/62500000000000000000000000
-1403918919390883411645269/100000000000000000000000000 6889442074368367311997961/1000000000000000000000000000 3814357940436512804202949/500000000000000000000000000 10351298300958746775342281/500000000000000000000000000 1312062891666776946452697/125000000000000000000000000 -140487096306131401076295597/1000000000000000000000000000
-15010659126025712259594751/500000000000000000000000000 -24296049421852501359001619/500000000000000000000000000 -6768551045174543393063169/250000000000000000000000000 1312062891666776946452697/125000000000000000000000000 22774867115714595360817271/100000000000000000000000000 -6040706079934134339062559/125000000000000000000000000
-5973142305603170963609293/125000000000000000000000000 -30076242950152383003990309/1000000000000000000000000000 -2352958763587075594596661/62500000000000000000000000 -140487096306131401076295597/1000000000000000000000000000 -6040706079934134339062559/125000000000000000000000000 219279021198979004008880179/200000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
51298635887064695945534573/100000000000000000000000000 -156383732897571194049940893/500000000000000000000000000 -12513680803232345895634963/125000000000000000000000000 -8777637983841704734499087/200000000000000000000000000 43888190405692264778515627/1000000000000000000000000000 -21944095173802558093444611/500000000000000000000000000 -46907389946240737390044957/1000000000000000000000000000 -13430575789346289837276689/200000000000000000000000000 -36665557753281033602595503/1000000000000000000000000000 51909218234172817459347211/1000000000000000000000000000
-156383732897571194049940893/500000000000000000000000000 256493179492600380653145599/500000000000000000000000000 -25027361666180745402609459/250000000000000000000000000 21944094842774035993549137/500000000000000000000000000 -10972047479026061278244309/250000000000000000000000000 21944095326440237238847073/500000000000000000000000000 -23453694226539875064092233/500000000000000000000000000 -18332779048519748969678731/500000000000000000000000000 -8394109861741461353840153/125000000000000000000000000 25954609262535458543525153/500000000000000000000000000
-12513680803232345895634963/125000000000000000000000000 -25027361666180745402609459/250000000000000000000000000 512986359252773214018805539/1000000000000000000000000000 -4388819022907812324248481/100000000000000000000000000 43888190301878469798025317/1000000000000000000000000000 43888189398090574336618323/1000000000000000000000000000 23453694449131252214649823/500000000000000000000000000 10381843564241995018976011/200000000000000000000000000 2076368742963914923599037/40000000000000000000000000 -67152879407364357019637817/1000000000000000000000000000
-8777637983841704734499087/200000000000000000000000000 21944094842774035993549137/500000000000000000000000000 -4388819022907812324248481/100000000000000000000000000 553546720312932317931685861/500000000000000000000000000 -121424163565089062954725451/250000000000000000000000000 -310698395407400221156330377/1000000000000000000000000000 180123874309833659/1000000000000000000000000000 -5249177224239628472548273/1000000000000000000000000000 5249177340114861561626429/1000000000000000000000000000 -2624588304061416670435727/500000000000000000000000000
43888190405692264778515627/1000000000000000000000000000 -10972047479026061278244309/250000000000000000000000000 43888190301878469798025317/1000000000000000000000000000 -121424163565089062954725451/250000000000000000000000000 1107093441134178121609426347/1000000000000000000000000000 -62139678819614721264090709/200000000000000000000000000 -98277056857103249/500000000000000000000000000 5249178001487541150532297/1000000000000000000000000000 -5249178632934701380701793/1000000000000000000000000000 1312294047548941235694213/250000000000000000000000000
-21944095173802558093444611/500000000000000000000000000 21944095326440237238847073/500000000000000000000000000 43888189398090574336618323/1000000000000000000000000000 -310698395407400221156330377/1000000000000000000000000000 -62139678819614721264090709/200000000000000000000000000 276773360060695889112658759/250000000000000000000000000 162292607165128219/1000000000000000000000000000 -5249176497457839871981009/1000000000000000000000000000 262458834575614790640567/50000000000000000000000000 5249176977263916230462871/1000000000000000000000000000
-46907389946240737390044957/1000000000000000000000000000 -23453694226539875064092233/500000000000000000000000000 23453694449131252214649823/500000000000000000000000000 180123874309833659/1000000000000000000000000000 -98277056857103249/500000000000000000000000000 162292607165128219/1000000000000000000000000000 103428928972026255167205567/125000000000000000000000000 5842289590333416069131193/1000000000000000000000000000 365143131467752076378589/62500000000000000000000000 -1168458105056010559630777/200000000000000000000000000
-13430575789346289837276689/200000000000000000000000000 -18332779048519748969678731/500000000000000000000000000 10381843564241995018976011/200000000000000000000000000 -5249177224239628472548273/1000000000000000000000000000 5249178001487541150532297/1000000000000000000000000000 -5249176497457839871981009/1000000000000000000000000000 5842289590333416069131193/1000000000000000000000000000 1200428219540298296379211013/1000000000000000000000000000 -41515459174157682540245119/62500000000000000000000000 -268090438304541222414811167/1000000000000000000000000000
-36665557753281033602595503/1000000000000000000000000000 -8394109861741461353840153/125000000000000000000000000 2076368742963914923599037/40000000000000000000000000 5249177340114861561626429/1000000000000000000000000000 -5249178632934701380701793/1000000000000000000000000000 262458834575614790640567/50000000000000000000000000 365143131467752076378589/62500000000000000000000000 -41515459174157682540245119/62500000000000000000000000 1200428218833427182935583421/1000000000000000000000000000 -5361808727933460453007571/20000000000000000000000000
51909218234172817459347211/1000000000000000000000000000 25954609262535458543525153/500000000000000000000000000 -67152879407364357019637817/1000000000000000000000000000 -2624588304061416670435727/500000000000000000000000000 1312294047548941235694213/250000000000000000000000000 5249176977263916230462871/1000000000000000000000000000 -1168458105056010559630777/200000000000000000000000000 -268090438304541222414811167/1000000000000000000000000000 -5361808727933460453007571/20000000000000000000000000 300107055074913716662653713/250000000000000000000000000

